Issue2788b.agda:6,3-15
Missing option --cubical
when checking that the type of the primitive function primGlue is _
